Reflecting Alan Robinson's fundamental contribution to computational logic, this book brings together seminal papers in inference, equality theories, and logic programming. It is an exceptional collection that ranges from surveys of major areas to new results in more specialized topics. Alan Robinson is currently the University Professor at Syracuse University. Jean-Louis Lassez is a Research Scientist at the IBM Thomas J. Watson Research Center. Gordon Plotkin is Professor of Computer Science at the University of Edinburgh. Contents: (...) Inference. Subsumption, A Sometimes Undervalued Procedure, Larry Wos, Ross Overbeek, and Ewing Lusk. The Markgraf Karl Refutation Procedure, Hans Jurgen Ohlbach and Jorg H. Siekmann. Modal Logic Should Say More than it Does, Melvin Fitting. Interactive Proof Presentation, W. W. Bledsoe. Intelligent Backtracking Revisited, Maurice Bruynooghe. A Science of Reasoning, Alan Bundy. Inductive Inference of Theories from Facts, Ehud Y. Shapiro. Equality. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification, Jean-Pierre Jouannaud and Claude Kirchner. Disunification: A Survey, Hubert Comon. A Case Study of the Completion Procedure: Proving Ring Commutativity Problems, Deepak Kapur and Hantao Zhang. Computations in Regular Rewriting Systems I and II, Girard Huet and JeanJacques Levy. Unification and ML Type Reconstruction, Paris Kanellakis, Harry Mairson, and John Mitchell. Automatic Dimensional Analysis, Mitchell Wand. Logic Programming. Logic Programming Schemes and Their Implementations, Keith Clark. A Near-Horn Prolog for Compilation, Donald Loveland and David Reed. Unfold/Fold Transformations of Logic Programs, P. A. Gardner and J. C. Shepherdson. An Algebraic Representation of Logic Program Computations, Andrea Corradini and Ugo Montanari. Theory of Disjunctive Logic Programs, Jack Minker, Arcot Rajasekar, and Jorge Lobo. Bottom-Up Evaluation of Logic Programs, Jeffrey Naughton and Raghu Ramakrishnan. Absys, the First Logic Programming Language: A View of the Inevitability of Logic Programming, E. W. Elcock. (shrink)

This paper identifies the ethical issues involved with women's advertising, and argues that ads can be successful in generating sales without portraying women as things or as mere sex objects, and without perpetuating various weakness stereotypes. A paradigm shift in advertising appears to be at hand. This new model replaces images of women as submissive or constantly in a need of alteration, with a move to reinstate beauty as a natural thing, not an unattainable ideal. This paper also reviews general (...) ethical issues of the advertising industry, including: (1) that advertising equates the pursuit of material gain with human happiness; (2) that advertising pushes its own values, artificial or false as they may be, as to what is "good" for the consumer; (3) that advertising plays on physical appetites and the body; (4) that advertising strives to bypass rational thinking, by desensitizing the viewer and playing on group dynamics. (shrink)

Western attempts to obtain Chinese compliance with intellectual property rights have a long history of failure. Most discussions of the problem focus on either legal comparisons or explanations arising from levels of economic development (based primarily on the example of U.S. disregard for such rights during the 18th and 19th centuries). After decades of heated negotiation, intellectual property rights is still one of the major issues of misunderstanding between the West and the various Chinese political entities. This paper examines the (...) sources of this problem from the standpoint of traditional Chinese social and political philosophy (specifically Neo-Confucianism). It points out that the basic assumptions about the nature of intellectual property, which arose during the 17th and 18th centuries in Europe, are fundamentally at odds with the traditional Chinese view of the role of intellectuals in society. It suggests that policies which do not take these differences into account, but which attempt to transfer Western legal concepts without the underlying social constructs are responsible for much of the lack of success in the area of intellectual property rights. (shrink)

This paper discusses internal dynamics of the firm that contribute to the failure of knowledge conditions, using the Enron scandal as a case study. Ability of the board to effectively monitor conduct at operational levels includes various dynamics: senior management being isolated from those at operational levels; individuals pursuing subgoals that are contrary to overall corporate goals; information flow along a narrow linear channel that effectively forecloses adverse information from getting to senior management; a corporate culture of intimidation, discouraging open (...) expressions of doubt or skepticism, resulting in reluctance to challenge senior officials, and pushing the limits of ethics and the law.Elements of information blockage in the corporation include: the "law of diminishing control"; deliberate concealment of information by officers; motivation to report to the boss what one perceives the boss wants to hear; theory of "bounded rationality" that explains surprising role of irrationality in decisionmaking – unconscious emotions and motivations. Discussion of behavioralist studies of cognitive dissonance, belief perseverance, confirmatory bias, entity effect, motivated reasoning, group cohesion or "groupthink," and the false consensus effect. Problem of overoptimism – tendency of many people to overrate their own abilities, contributions and talents – and tendency toward puffery and dismissal of risks in formulating disclosures and press releases. (shrink)

This essay discusses the question of whether hunting is a competitive sport. The discussion approaches this issue from several angles. The author asserts that there is an anthropomorphic fallacy that the “superiority” of human beings justifies the “right” to exploit animals. The discussion turns to an historical analysis of how hunting emerged as a “sport.” The author discusses evolving standards of what constitutes acceptable forms of amusement, and the basis of moral criticisms of hunting. The author then claims that the (...) techniques commonly employed in hunting constitute animal cruelty. As a further analysis, the author points out a series of asymmetries between competitive sports and hunting, including the claim that sports are structured around and indeed constituted by a set of rules, in contrast to hunting. The essay then discusses wildlife management and distinguishes that from hunting. (shrink)

Traces the development of the human consciousness and argues that many scientific theories of human nature denigrate the value of humanity.

This paper critically examines the extent to which health promoting wearable technologies can provide people with greater autonomy over their health. These devices are frequently presented as a means of expanding the possibilities people have for making healthier decisions and living healthier lives. We accept that by collecting, monitoring, analysing and displaying biomedical data, and by helping to underpin motivation, wearable technologies can support autonomy over health. However, we argue that their contribution in this regard is limited and that—even with (...) respect to their ‘autonomy enhancing’ potential—these devices may deliver costs as well as benefits. We proceed by rehearsing the distinction that can be drawn between procedural autonomy and substantive-relational autonomy. While the information provided by wearable technologies may support deliberation and decision-making, in isolation these technologies do little to provide substantive opportunities to act and achieve better health. As a consequence, wearable technologies risk generating burdens of anxiety and stigma for their users and reproducing existing health inequalities. We then reexamine the extent to which wearable technologies actually support autonomous deliberation. We argue that wearable technologies that subject their users to biomedical and consumerist epistemologies, norms and values also risk undermining processes of genuinely autonomous deliberation. (shrink)

BackgroundInternational partnerships in research are receiving ever greater attention, given that technology has diminished the restriction of geographical barriers with the effects of globalisation becoming more evident, and populations increasingly more mobile.DiscussionIn this article, we examine the merits and risks of such collaboration even when strict universal ethical guidelines are maintained. There has been widespread examples of outcomes beneficial and detrimental for both high and low –income countries which are often initially unintended.SummaryThe authors feel that extreme care and forethought should (...) be exercised by all involved parties, despite the fact that many implications from such international work can be extremely hard to predict. However ultimately the benefits gained by enhancing medical research and philanthropy are too extensive to be ignored. (shrink)

A revised translation of Heidegger's most important work.

The authors use social science methodology to determine whether a doctrinal shift—from an objectivist view of criminality in the common law to a subjectivist view in modem criminal codes—is consistent with lay intuitions of the principles of justice. Commentators have suggested that lay perceptions of criminality have shifted in a way reflected in the doctrinal change, but the study results suggest a more nuanced conclusion: that the modern lay view agrees with the subjectivist view of modern codes in defining the (...) minimum requirements of criminality, but prefers the common law's objectivist view of grading the punishment deserved. The authors argue that there is practical value in having criminal law track shared community intuitions of the proper rules for assigning liability and punishment. For that reason, the study results support the often criticized subjectivist view of modern codes in setting the minimum requirements of liability, but disapprove of the modern codes' shift away from the common law's objectivist view of grading. (shrink)

Studies of the prevalence and contents of codes of conduct in the private sector show that their use to define an ethical environment or culture, and their effective implementation, must be as part of a learning process that requires inculcation, reinforcement and measurement. Consequently, the public sector must realise it cannot look solely to formal codes to revive and sustain public sector values. Alan Doig is Professor of Public Services Management, and John Wilson is Principal Lecturer and Head (...) of the Centre for Public Services Management, at Liverpool Business School, Liverpool John Moores University. (shrink)

On 18 September 1697, Christainity not Mysterious was burned in Dublin by order of Parliament. This edition of the text is now available 300 years later and also includes John Toland's defences of the work and eight critical essays.

Modern states claim rights of jurisdiction and control over particular geographical areas and their associated natural resources. Boundaries of Authority explores the possible moral bases for such territorial claims by states, in the process arguing that many of these territorial claims in fact lack any moral justification. The book maintains throughout that the requirement of states' justified authority over persons has normative priority over, and as a result severely restricts, the kinds of territorial rights that states can justifiably claim, and (...) it argues that the mere effective administration of justice within a geographical area is insufficient to ground moral authority over residents of that area. The book argues that only a theory of territorial rights that takes seriously the morality of the actual history of states' acquisitions of power over land and the land's residents can adequately explain the nature and extent of states' moral rights over particular territories. Part I of the book examines the interconnections between states' claimed rights of authority over particular sets of subject persons and states' claimed authority to control particular territories. It contains an extended critique of the dominant. (shrink)

From a national U.S. sample of senior academic biochemists, ninety-four indicated that they personally knew of an incident of scientific wrongdoing. Among these individuals, less formal actions against an offending individual were endorsed when either actions were believed to have the potential to publicly embarrass the offending individual, or the actions might adversely affect the professional career of the whistleblower. These relationships remain significant after controlling for professional status, career age, and current level of formal departmental administrative responsibility. Study limitations (...) and implications are discussed. (shrink)

Although the last decade has seen a proliferation of ontological approaches to arguments, many of them employ ad hoc solutions to representing arguments, lack interoperability with other ontologies, or cover arguments only as part of a broader approach to evidence. To provide a better ontological representation of arguments, we present the Arguments Ontology (ArgO), a small ontology for arguments that is designed to be imported and easily extended by researchers who work in different upper-level ontology frameworks, different logics, and different (...) approaches to argument evaluation. Unlike most ontological approaches to arguments, ArgO utilizes Basic Formal Ontology (BFO) as an upper-level ontology, and may be used alongside other commonly used ontologies in the BFO framework, including boththe Information Artifact Ontology (IAO), and the Information Entity Ontology (INFO). Critically, our proposal is principled, based on rigorous definitions and formal axioms out of which characterizations of arguments naturally fall. It is our hope that ArgO may assist researchers in many projects, including: integrating heterogeneous sources of evidence, structuring the content of semantic wikis, and enhancing semantic reasoning. (shrink)

The most recent addition to the Fundamentals of Philosophy Series, Political Philosophy is a concise yet thorough and highly engaging introduction to the essential problems of the discipline. Organized topically and presented in a straightforward manner by an eminent political philosopher, A. John Simmons, it investigates the nature and basis of political authority and the structure and organization of political life. Each chapter focuses on a central problem, considers how it could be addressed, and outlines the various philosophical positions (...) surrounding it. Covering both historical and contemporary work, this unique text offers a survey of major concepts and debates while also reflecting the author's views and contributions. Accessible to novices yet also useful for advanced students, Political Philosophy presents a unified and accessible portrait of the issues that have been puzzling political philosophers for years. (shrink)

This book is a collection of secondary essays on America's most important philosophic thinkers—statesmen, judges, writers, educators, and activists—from the colonial period to the present. Each essay is a comprehensive introduction to the thought of a noted American on the fundamental meaning of the American regime.

This article considers the ethical dimensions of attempts to ‘personalise’ health and social care services in the UK. Personalisation is identified as closely related to efforts to introduce elements of neoliberal marketisation into public service provision, particularly through the introduction of consumer choice for services users. We consider two areas of ethical concern surrounding personalisation: its contribution to social justice agendas and the enhancement of service users’ autonomy. While personalisation in general, and consumer choice in particular, has been presented as (...) positively contributing to both social justice and autonomy, we critically revaluate these claims. We draw on the work of Nancy Fraser and relational theories of autonomy to highlight the ethical complexities of personalisation and the potentially negative effects that the extension of consumer choice may have on promoting social justice and supporting substantive forms of autonomy. We suggest that understanding and negotiating these complexities imposes ethical constraints on the ways in which, and extent to which, health and social care services can be defensibly personalised. (shrink)

During the past decade, it has become apparent that it is within our grasp to understand fully the development and functioning of complex organisms. It is widely accepted that this undertaking must include the elucidation of the genetic blueprint – the genome sequence – of a number of model organisms. As a prelude to the determination of these sequences, clonebased physical maps of the genomes of a number of multicellular animals and plants are being constructed. Yeast artificial chromosome (YAC) vectors, (...) by virtue of their relatively unbiased cloning capabilities and capacity to carry large inserts, have come to play a central role in the construction of these maps. The application of YACs to the physical map of the Caenorhabditis elegans genome has enabled cosmid clone ‘islands’ to be linked together in an efficient manner. The long‐range continuity has improved the linkage between the genetic and physical maps, greatly increasing its utility. Since the genome can be represented by a relatively small number of YACs, it has been possible to make replica filters of genomically ordered YACs available to the community at large. (shrink)

The term 'episodic memory' refers to our memory for unique, personal experiences, that we can date at some point in our past - our first day at school, the day we got married. It has again become a topic of great importance and interest to psychologists, neuroscientists, and philosophers. How are such memories stored in the brain, why do certain memories disappear (especially those from early in childhood), what causes false memories (memories of events we erroneously believe have really taken (...) place)? Since Endel Tulving's classic book 'Episodic memory' (OUP, 1983) very few books have been published on this topic. In recent years however, many of the assumptions made about episodic memory have had to be reconsidered as a result of new techniques, which have allowed us a far deeper understanding of episodic memory. In 'Episodic memory: new directions in research' three of the worlds leading researchers in the topic of memory have brought together a stellar team of contributors from the fields of cognitive psychology, neuropsychology, and neuroscience, to present an account of what we now know about about this fundamentally important topic. The list of contributors includes, amongst others, Daniel Schacter, Richard Morris, Fareneh Vargha-Khadem, and Endel Tulving. The work presented within this book will have a profound effect on the direction that future research in this topic will take. (shrink)

This study locates what is happening to teachers' work in the global economy. Two case studies show how teachers are simultaneously experiencing significant changes to their work, and responding in ways that actively shape these process.

This study discusses narcissism and problems of the self from the perspective of psychoanalysis. The contributors define the major differences between the interpersonal viewpoint and other schools of psychoanalysis in terms of both diagnosis and treatment.

There are unusual challenges in ethics for RAS. Perhaps the issue can best be summarised as needing to consider “technically informed ethics”. The technology of RAS raises issues that have an ethical dimension, and perhaps uniquely so due to the possibility of moving human decision-making which is implicitly ethically informed to computer systems. Further, if seeking solutions to these problems – ethically aligned design, to use the IEEE’s terminology – then the solutions must be technically meaningful, capable of realisation, capable (...) of assurance, and suitable as a basis for regulation. Thus, ethics for RAS is a rich, complex multi-disciplinary concern, and perhaps more complex than many other ethical issues facing society today. It is also fast-moving. This paper has endeavoured to give an accessible introduction to some of the key issues, noting that many of them are quite subtle, and it is not possible to do them full justice in such a short document. However, we have sought to counterbalance this by giving an extensive list of initiatives, standards, etc. that focus on ethics of RAS and AI, see Annex A. (shrink)

A proposal that the basic mental models used to structure social interaction result from self-organization in brain activity.

In this paper we argue that austerity creates working conditions that can undermine professionalism in healthcare. We characterise austerity in terms of overlapping economic, social and ethical dimensions and explain how these can pose significant challenges for healthcare professionals. Amongst other things, austerity is detrimental to healthcare practice because it creates shortages of material and staff resources, negatively affects relationships and institutional cultures, and creates increased burdens and pressures for staff, not least as a result of deteriorating public health conditions. (...) After discussing the multiple dimensions of austerity, we consider the challenges it creates for professional ethics in healthcare. We highlight three mechanisms—intensification of work, practitioner isolation, and organisational alienation—which pose acute problems for healthcare professionals working under conditions of austerity. These mechanisms can turn ‘routine moral stress’ into moral distress and, at the same time, make poor care much more likely. While professionalism clearly depends on individual capabilities and behaviours, it also depends upon a complex sets of social conditions being established and maintained. The problems caused by austerity reveal a need to broaden the scope of professional ethics so that it includes the responsibilities of ‘role constructors’ and not just ‘role occupiers’. Austerity therefore presents opportunities for health professionals and associated ‘role constructors’ to contribute to a reimagining of future models of healthcare professionalism. (shrink)

Prologue: Quest for the Personal In the lectures which formed the basis of this book I began, as Chapter i indicates, with a brief review of how the current ...